$\forall$${\it es}$:ES, $a$:Atom1, $e$:E. $e$ sends $\parallel$ $a$ $\in$ $\mathbb{P}$